xenbaked: properly use time_t in dump_stats()
authorJan Beulich <jbeulich@suse.com>
Mon, 22 Aug 2022 10:10:00 +0000 (12:10 +0200)
committerJan Beulich <jbeulich@suse.com>
Mon, 22 Aug 2022 10:10:00 +0000 (12:10 +0200)
commit722a61dbb5010507693593243dbba311d4e9c0b5
treefdba4edb117880a9dce6b6661ca8c7fb92538a25
parentf4036c96de6423c769a6dab237977ebdf90dbc22
xenbaked: properly use time_t in dump_stats()

"int" is not a suitable type to convert time()'s return value to. Avoid
casts and other extra fiddling by using difftime(), on the assumption
that the overhead of using "double" doesn't matter here.

Coverity ID: 1509374
Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Anthony PERARD <anthony.perard@citrix.com>
tools/xenmon/xenbaked.c